import Vue from 'vue'
import '../../utils/vue-extend'
import App from './App.vue'
import Router from 'vue-router'
import ElementUI from 'element-ui';
import 'element-ui/lib/theme-chalk/index.css';
import ModelerBuilder from "../../components/modeler/ModelerBuilder";
import ModelerView from "../../components/modeler/ModelerView";
import ModelerManager from "../../components/modeler/ModelerManager";
import VueHighlightJS from 'vue-highlightjs'
import VueCodemirror from 'vue-codemirror'

Vue.config.productionTip = false

const routes = [
    {path: '/modeler-builder', component: ModelerBuilder, name: 'modeler-builder'},
    {path: '/modeler-view', component: ModelerView, name: 'modeler-view'},
    {path: '/modeler-manager', component: ModelerManager, name: 'modeler-manager'}
]

const router = new Router({
    routes: routes
})
Vue.use(Router);
Vue.use(ElementUI);
Vue.use(VueHighlightJS)
Vue.use(VueCodemirror)
new Vue({
    render: h => h(App),
    router
}).$mount('#app')
